b == if b then ff else tt fi  

latex

Up	bool 1, bool 1
Wellformedness Lemmas	bnot wf, bnot wf
Definitions	if b then t else f fi , ff, tt
FDL editor aliases	bnot